#ifndef _DUMP_MMPAGE_H_
#define _DUMP_MMPAGE_H_

void dump_pgtable();

#endif // !_DUMP_MMPAGE_H_

